Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 004847 | Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring. |
| 004992 | Véronique Cortier [France] ; Keighren Gavin [Royaume-Uni] ; Graham Steel [Royaume-Uni] | Automatic Analysis of the Security of XOR-based Key Management Schemes. |
| 004D01 | Véronique Cortier [France] ; Gavin Keighren [Royaume-Uni] ; Graham Steel [Royaume-Uni] | Automatic Analysis of the Security of XOR-Based Key Management Schemes |
| 004F03 | Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring |
| 005053 | Véronique Cortier [France] ; Graham Steel [Royaume-Uni] | On the Decidability of a Class of XOR-based Key-management APIs |
| 006C35 | Graham Steel [Royaume-Uni] ; Alan Bundy [Royaume-Uni] ; Monika Maidl [Royaume-Uni] | Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures |
| This area was generated with Dilib version V0.6.33. |  |